Communication and Transactions in V Ienna P Arallel L Ogic Communication and Transactions in V Ienna P Arallel L Ogic

نویسنده

  • Franz Puntigam
چکیده

We compare several degrees of architecture abstraction and communication reliability in distributed programming languages. A nearly architecture independent logic programming language and system with reliable communication called V P L (Vienna Parallel Logic) is presented. We point out the contradiction between complete architecture independence and reliable high-level communication in programming languages. The description of an implementation technique of V P L 's reliable communication on shared memory and distributed architectures comprises a major part of this paper. The reliable communication is based on the speciication of consistent system states that must survive system failures.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Concurrency and Backtracking in V Ienna P Arallel L Ogic Concurrency and Backtracking in V Ienna P Arallel L Ogic

Vienna Parallel Logic (V P L) is a persistent language and programming system that supports the concurrent execution of communicating processes and the computation of several alternative solutions by means of programmed backtracking. It uniies the worlds of sequential logic programming languages (Prolog) and concurrent logic programming languages (i.e., Parlog). Aspects of both language classes...

متن کامل

Scheduling Transactions on Distributed Systems with the V P L Engine Scheduling Transactions on Distributed Systems with the V P L Engine

The coordination of distributed services and the integration of data repositories that are maintained by autonomous distributed databases requires exi-ble transaction management. Recently numerous advanced transaction models have been proposed that extend traditional transaction models by releasing one or more of the classical ACID (atomicity, consistency, integrity, durability) properties of t...

متن کامل

Fficient S Cheduling S Trategy Using C Ommunication a Ware S Cheduling for P Arallel J Obs in C Lusters

In the area of Computer Science, Parallel job scheduling is an important field of research. Finding a best suitable processor on the high performance or cluster computing for user submitted jobs plays an important role in measuring system performance. A new scheduling technique called communication aware scheduling is devised and is capable of handling serial jobs, parallel jobs, mixed jobs and...

متن کامل

Memoizing Multi-Threaded Transactions

There has been much recent interest in using transactions to simplify concurrent programming, improve scalability, and increase performance. When a transaction must abort due to a serializability violation, deadlock, or resource exhaustion, its effects are revoked, and the transaction re-executed. For long-lived transactions, however, the cost of aborts and subsequent re-executions can be prohi...

متن کامل

IMNTV-Identifying Malicious Nodes using Trust Value in Wireless Sensor Networks

Security is the major area of concern in communication channel. Security is very crucial in wireless sensor networks which are deployed in remote environments. Adversary can disrupt the communication within multi hop sensor networks by launching the attack. The common attacks which disrupt the communication of nodes are packet dropping, packet modification, packet fake routing, badmouthing atta...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1994